Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
181	Text and Data Mining: Technologies Under Construction WHO’S INSIDE Accenture American Institute of Biological Sciences Add to Reading List Source URL: www.copyright.com Language: English - Date: 2016-02-09 11:47:05 Business intelligence Formal sciences Data management Natural language processing Text mining Prescriptive analytics Analytics Data mining Unstructured data Big data Data analysis Data science
182	Applied Ontology ? (–3 IOS Press 1 B IOT OP: An Upper Domain Ontology for the Add to Reading List Source URL: www2.imbi.uni-freiburg.de Language: English - Date: 2008-06-30 08:53:11 Ontology Information science Technical communication Knowledge representation Semantic Web Upper ontology Gene ontology Formal ontology Barry Smith Web Ontology Language Suzanna Lewis Applied ontology
183	Genome Informatics 13: 3–A String Pattern Regression Algorithm and Its Application to Pattern Discovery in Long Introns Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-12-09 05:53:37 Formal languages Pattern matching String searching algorithm Regular expression Intron String Suffix tree Substring Teiresias algorithm Pattern language
184	“Tagging Speech Data” Constraint Grammar Analysis of Spoken Portuguese Eckhard Bick e-mail: web-site: http://visl.hum.ou.dk/ Abstract Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2005-05-31 07:19:49 Grammar Syntax Corpus linguistics Formal languages Dependency grammar Natural language parsing Constraint Grammar Parsing Phrase structure rules Argument Part-of-speech tagging Portuguese personal pronouns
185	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
186	Towards more complex grammar systems Some basic formal language theory Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-13 21:34:13
187	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language
188	Lightweight Formal Models of Software Weaknesses Robin Gandhi, Harvey Siy, Yan Wu College of Information Science and Technology University of Nebraska at Omaha, USA {rgandhi, hsiy, ywu}@unomaha.edu definitions. Consider Add to Reading List Source URL: faculty.ist.unomaha.edu Language: English - Date: 2013-05-29 09:13:46 Common Weakness Enumeration Hacking Software testing Alloy Buffer overflow Actor model Vulnerability Software development Modeling language CWE
189	Parsing Coordinations ¨ Sandra Kubler Indiana University Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2009-04-22 13:37:26 Natural language parsing Compiler construction Formal languages Parsing Coordination Statistical parsing Context-free grammar Chart parser Shallow parsing Treebank LL parser
190	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket

UPDATE